Antonio Cerone: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (17)
Most Popular
List
- List
- Table

1

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Year:

2022

Language:

english

File:

PDF, 6.30 MB

0 / 0

english, 2022

2

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Year:

2022

Language:

english

File:

PDF, 6.30 MB

0 / 5.0

english, 2022

3

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Springer International Publishing;Springer

Frank de Boer, Antonio Cerone

Year:

2020

Language:

english

File:

PDF, 14.69 MB

0 / 0

english, 2020

4

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos (eds.)

Year:

2014

Language:

english

File:

PDF, 6.65 MB

0 / 0

english, 2014

5

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)

Year:

2006

Language:

english

File:

PDF, 3.72 MB

0 / 0

english, 2006

6

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

Year:

2011

Language:

english

File:

PDF, 3.64 MB

0 / 0

english, 2011

7

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

Year:

2011

Language:

english

File:

PDF, 3.74 MB

0 / 0

english, 2011

8

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

António Abreu, João Vidal Carvalho, Pedro Liberato, Hazael Cerón Monroy, (eds.)

Year:

2024

Language:

english

File:

PDF, 15.44 MB

0 / 5.0

english, 2024

9

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Ana Cavalcanti Kamel Barkaoui & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti]

Year:

2009

Language:

spanish

File:

AZW3 , 1.94 MB

0 / 0

spanish, 2009

10

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Ana Cavalcanti Kamel Barkaoui & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti]

Year:

2009

Language:

spanish

File:

MOBI , 1.90 MB

0 / 0

spanish, 2009

11

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone

Year:

2009

Language:

spanish

File:

FB2 , 3.05 MB

0 / 0

spanish, 2009

12

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone]

Year:

2009

File:

LIT , 1.56 MB

0 / 0

2009

13

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Antonio Cerone, Marco Roveri

Year:

2018

Language:

english

File:

EPUB, 7.76 MB

0 / 5.0

english, 2018

14

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Springer Nature Singapore

António Abreu, João Vidal Carvalho, Pedro Liberato, Hazael Cerón Monroy, (eds.)

Language:

english

File:

EPUB, 49.52 MB

0 / 5.0

english

15

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Springer Nature

Year:

2023

Language:

english

File:

PDF, 16.02 MB

0 / 0

english, 2023

16

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers

Antonio Cerone, Marco Roveri

Year:

2018

Language:

english

File:

PDF, 38.12 MB

0 / 0

english, 2018

17

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Springer International Publishing;Springer

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David De

Year:

2020

Language:

english

File:

PDF, 35.82 MB

0 / 0

english, 2020